A Pumping Condition for Regular Sets
نویسنده
چکیده
We prove that a language of a finitely generated free monoid is regular if and only if it satisfies the positive block pumping property. This gives a positive answer to a problem posed by Ehrenfeucht, Parikh, and Rozenberg [SIAM J. Comput., 10 (1981), pp. 536–541].
منابع مشابه
On fuzzy multiset regular languages
The purpose of present work is to study some algebraic aspect of fuzzy multiset regular languages. In between, we show the equivalence of multiset regular language and fuzzy multiset regular language. Finally, we introduce the concept of pumping lemma for fuzzy multiset regular languages, which we use to establish a necessary and sufficient condition for a fuzzy multiset language to be non-cons...
متن کاملCharacterizations of complete residuated lattice-valued finite tree automata
This paper deals with the concept of complete residuated lattice-valued (referred to as L-valued) finite tree automata. In this regard, we first define an L-valued regular tree language, and then we prove a necessary and sufficient condition for the regularity of an L-valued tree language. Furthermore, we generalize the pumping lemma for L-valued finite tree automata (L-FTA). Afterwards, the be...
متن کاملPumping and Counting on the Regular Post Embedding Problem
The Regular Post Embedding Problem is a variant of Post’s Correspondence Problem where one compares strings with the subword relation and imposes additional regular constraints on admissible solutions. It is known that this problem is decidable, albeit with very high complexity. We consider and solve variant problems where the set of solutions is compared to regular constraint sets and where on...
متن کاملResiduated Skew Lattice with a Operation
In this paper, we define hedge operation on a residuated skew lattice and investigate some its properties. We get relationships between some special sets as dense, nilpotent, idempotent, regular elements sets and their hedges. By examples, we show that hedge of a dense element is not a dense and hedge of a regular element is not a regular. Also hedge of a nilpotent element is a nilpotent and h...
متن کاملRemoval of Hydrogen Sulfide from Septic Tank by Vermicomposting Bio Filter
Background & Aims of the Study: Hydrogen sulfide (H2S) is a colorless and highly toxic, easily dissolved in water, flammable and explosive gas. Hydrogen sulfide gas is the main cause of odor emissions from municipal sewage plants. One method for removal of hydrogen sulfide gas is the use of biological systems, biofilter. The aim of this study was to survey removal hydrogen sulfide provide in se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- SIAM J. Comput.
دوره 26 شماره
صفحات -
تاریخ انتشار 1997